pred!($e$;${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\neg$first(${\it e'}$) \& $e$ $=$ pred(${\it e'}$) $\vee$ rcv?(${\it e'}$) \& $e$ $=$ sender(${\it e'}$)